data TreeNode = Leaf Integer
		| Branch TreeNode TreeNode
eval (Leaf l) = l
eval (Branch b1 b2) = eval b1 + eval b2


